The change in the organization of science education over the past fifty years is quickly recalled. Being its cultural bound the lack of a conception of the foundation of science, the multiple innovations have resulted as temporary improvements without a clear direction, apart from the technocratic goal of an automation of learning processes. The discovery of two dichotomies as the foundations of science suggests a pluralist conception of science, and hence the need to entirely renew science education, in particular by (...) introducing the notions of incommensurability and radical variations in meaning of the basic notions. This change was already anticipated by several proposals within each subject-matter. (shrink)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way its last (...) two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...) the rings of operators; 3) Morchio and Strocchi’s improving Dirac’s analogy between commutators and Poisson Brackets into an exact equivalence; 4) the recent foundation of quantum mechanics upon the algebra of perturbations. Some considerations on alternating theoretical importance of the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices to group theory and C*-algebras but has not led to a definition of the foundations of physics; in particular, an algebraic formulation of QM organized as a problem-based theory and an exclusive use of constructive mathematics is still to be discovered. (shrink)

In previous papers I have characterized four ways of reasoning in Peirce’s philosophy, and four ways of reasoning in Computability Theory. I have established their correspondence on the basis of the four pairs of choices regarding two dichotomies, respectively the dichotomy between two kinds of Mathematics and the dichotomy between two kinds of Logic. In the present paper I introduce four principles of reasoning in theoretical Physics and I interpret also them by means of the four pairs of choices regarding (...) the above two dichotomies. I show that there exists a meaningful correspondence among the previous three fourfold sets of elements. This convergence of the characteristic ways of reasoning within three very different fields of research - Peirce’s philosophy, Computability theory and physical theories - suggests that there exists a general-purpose structure of four ways of reasoning. This structure is recognized as applied by Mendeleev when he built his periodic table. Moreover, it is shown that a chemist-, applies all the above ways of reasoning at the same time. Peirce’s professional practice as a chemist applying at the same time this variety of reasoning explains his stubborn research into the variety of the possible inferences. (shrink)

For most people on our planet, spiritual values are vital in driving communitarian behaviour. It is becoming increasingly clear that a lasting and effective social commitment must consider cultural, sociological and religious dimensions. In particular, the current environmental crisis has demonstrated how effectively religious communities have mobilised to respond to climate change. With their emphasis on wisdom, social cohesion and interrelationships, religions can be a strategic player in ensuring effective integral human development. The ecological crisis is not just an ethical (...) dilemma but an ontological and theological matter that demands both a new way of thinking and a new way of being. Think differently and act differently! The United Nations (UN) and many governments are increasingly recognising the vital contribution of religious leaders and organisations in political processes, such as the 2030 Agenda for Sustainable Development, hypostasised in the Faith Plans for People and Planet programme, representing the most prominent and boldest environmental initiative to date by the global faith community. -/- Contribution: Today we realise that a combination of science and spirituality can engage and empower an array of stakeholders from different cultural and religious backgrounds. This article addresses the question of an integrated ecology by selecting appropriate and recent literature from mainstream religions and the subsequent interpretation and application. (shrink)

Nella storia della metafisica è stato un grande problema come chiarire l’idea della coincidentia oppositorum (la coincidenza degli opposti) di Cusano, il quale è riconosciuto comunque da Cassirer come il primo epistemologo del pensiero moderno, in particolare come colui che ha saputo conquistare l’infinito alla mente umana. Dopo alcuni secoli, ha avuto una grande importanza una idea simile a quella di Cusano, la dialettica di Hegel, la quale aggiunge una negazione ad una prima frase negata per ottenere una sintesi in (...) termini generali. Ma poi queste idee sono state sempre meno seguite, eccetto che nel XX secolo da un filosofo non accademico, Lanza del Vasto che ha criticato Hegel e si è ricondotto a Cusano. Nello scritto esamino questa tematica mediante gli strumenti recentemente forniti dalla logica matematica, già verificati sugli scritti di altri scienziati; essi sono capaci di distinguere con precisione che cosa, negli scritti di uno studioso, è un passaggio logico formale e che cosa è una semplice illazione, derivata dalla conoscenza comune o dalla sua creatività; e se è un passaggio logico, decidere di che tipo di logica è. Per mezzo di questo metodo formale, i) presento alcune caratteristiche del ragionare di Cusano; ii) critico il metodo di Hegel; il risultato si accorda con la analisi critica di Hegel che Lanza del Vasto ha compiuto in maniera intuitva; iii) dimostro che la relazione tra Cusano e Lanza del Vasto è più forte di quanto dichiara quest’ultimo; iv) suggerisco una spiegazione della coincidentia oppositorum, chiarendo che la novità di ragionare in logica non classica è stata così innovativa che il tentativo di Cusano di precisarne il metodo è risultato in una scorciatoia, non errata ma valida solo in alcune situazioni; mentre è stato deviante il tentativo di Hegel; Lanza del Vasto, che ha portato un contributo al metodo di Cusano, si è comunque reso conto che occorreva arrivare a formalizzare un nuovo tipo di logica, che oggi risulta essere quella non classica. In definitiva, occorre attribuire a Cusano il merito di aver suggerito una nuova maniera di razionalità logica, quella capace di ragionare in logica non classica e di averne dato, sia pure in maniera imprecisa ed oscura, una prima formalizzazione. (shrink)

Quel est le rôle de Galilée dans la naissance séculaire de la science moderne? Je réponds à la question ci-dessus à la lumière de deux nouveaux éléments. Dès le xvie siècle, Nicolas de Cues, quoiqu’il ne pratiquât pas la science expérimentale, a anticipé une partie substantielle de la révolution copernicienne et de la naissance de la méthodologie galiléenne. Le deuxième élément est l’introduction d’une nouvelle conception des fondements de la science ; ils sont définis comme constitués de trois dialectiques. Après (...) cette définition, la naissance de la science moderne correspond à un très long processus historique qui se conclut à notre époque. Sur cette longue période, Galilée ne fut pas seulement le premier à recourir à une méthodologie scientifique, mais aussi presque le seul à jamais avoir été conscient de l’ampleur des enjeux intellectuels de l’entreprise scientifique. (shrink)

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, to Hilbert’s (...) main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

The book is the proceeding of a conference in Pisa 12007 on the philosophy of Lanza del Vasto - the unique Western disciple of Gandhi - examined under the items: his thesis work in Philosophy (Fabris), his Greek and Christian methaphysics (Salmeri), his criticism of Hegel (Vigne), the relationship with Gandhi (Manara), Trinity (Vermorel) Indian philosophical traditioon (Trianni), his henologixcal thinking (Reale) his trinitarian metaphysics (Bertini), his mystical thinking (Vannini) a logicaL analysis of his thinking(Drago), his philosophy and theory of (...) non-violence(Cozzo) The relationship with Catholic Church (Tanzarella), Pedagogy (Butturini), sojourn in Pisa (Lanza). (shrink)

The current definition of Constructive mathematics as “mathematics within intuitionist logic” ignores two fundamental issues. First, the kind of organization of the theory at issue. I show that intuitionist logic governs a problem-based organization, whose model is alternative to that of the deductive-axiomatic organization, governed by classical logic. Moreover, this dichotomy is independent of that of the kind of infinity, either potential or actual, to which respectively correspond constructive mathematical and classical mathematical tools. According to this view a mathematical theory (...) is based on the choices regarding these two dichotomies. As an example of this kind of foundation, arithmetic is rationally re-founded on constructive mathematical tools and the model of the problem-based organization. In conclusion, constructive mathematics is not only mathematics making use of constructive tools in intuitionist logic but also organized according to around a basic problem, solved by a method discovered using intuitionist logic. (shrink)

Since the 2008 financial crisis, the attempts to use Karl Polanyi's framework to make sense of current developments have multiplied, producing a noticeable and lively debate. This debate centres on the notion of double movement put forward by the Hungarian thinker in his masterpiece – The Great Transformation. The paper is a contribution to this debate. The first part addresses a series of questions that make the interpretations of the double movement advanced so far not very compelling. To this end, (...) a close reading of Polanyi's text, with the aim of dismantling and rearticulating its analytical structure, is carried out. The upshot is a dynamic and multistage picture of the double process as a recurrent and vortex-like attempt to progressively commodify natural and social resources against growing opposition. The second part employs this revised reading of the double movement to explain the collapse of the postwar consensus politics, the success of the neoliberal counterrevolution and the development of the knowledge economy. The claim put forward here is that, in addition to sustained efforts to deepen previous forms of commodification (land, labour and money), we are witnessing a fullblown attempt to turn knowledge into a new fictitious commodity. Building on the idea of digital Taylorism, the paper tries to show that information and computer technologies are being used to standardise and routinise a growing number of intellectual, professional and managerial activities which were able to escape previous attempts in this direction. Once again, at the forefront of this process there are powerful state actors, who are using New Public Management policies strategically to: support the enclosure of intangible cultural resources through the creation of intellectual property rights regimes, and undermine the counter-reaction of negatively affected societal actors by rising the collective action problems they face. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like many (...) other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. A generalization of the square of opposition (...) is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

In the last times some scholars tried to characterize Einstein’s distinction between ‘constructive’ – i.e. deductive - theories and ‘principle’ theories, the latter ones being preferred by Einstein. Here this distinction is qualified by an accurate inspection on past physical theories. Some previous theories are surely non-deductive theories. By a mutual comparison of them a set of features - mainly the arguing according to non-classical logic - are extracted. They manifest a new ideal model of organising a theory. Einstein’s paper (...) of 1905 on quanta, qualified by him as a ‘principle theory’, is interpreted according to this model of theory. Some unprecedented characteristic features are manifested. At the beginning of the same paper Einstein declared one more dichotomy about the kind of mathematics in theoretical physics. These two dichotomies are recognised as representing the foundations of theoretical physics. With respect to these dichotomies the choices by Einstein in the paper on quanta are the alternative choices to Newton’s ones. This fact gives reason to the ‘revolutionary’ nature that Einstein attributed to his paper. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly negated propositions and (...) ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (shrink)

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...) two of Cusanus’ short writings shows that throughout his life he substantially improved his use of this kind of logic and ultimately was able to reason consistently within such a logic and recognize some of its basic laws. One important idea developed by him was that of a proposition composed of a triple repetition of “not-other” expressing “the Tri-unity of concordance” i.e. the “best name for the Trinity”. I complete his application of intuitionist logic to theological subjects by charac￾terizing the inner relationships within the Trinity in such a way that there are no longer contradictions in the notion. Generally speaking, the notion of the Trin￾ity implies a translation from intuitionist to classical logic, to which Cusanus closely approximated. Moreover, I show that the main aspects of Christian rev￾elation, including Christ’s teachings, are represented both by this translation and by some doubly negated propositions of intuitionist logic. Hence, intuition￾ist logic was introduced into the history of Western theological thinking with Christian revelation, as only Cusanus partly recognized. Appendix 1 summa￾rizes a detailed analysis of Cusanus’ second short writing. Appendix 2 shows that the Athanasian creed regarding the Christian Trinity is a consistent se￾quence of intuitionist propositions provided that some verbal emendations are added, showing that ancient trinitarian thinking was also close to intuitionist reasoning. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of (...) logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by the two mathematical techniques (...) within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to (...) the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

This article tries to show William James’s presence in the works of Eugenio d’Ors by offering key textual evidence. Both the agreement and disagreement between these two philosophers can help to understand the intellectual itinerary of the Spanish philosopher.

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are obtained.that.

Organizations are increasingly finding it challenging to balance economic and environmental performance particularly those that face competitive, regulatory and community pressure. With the increasing pressures for environmental sustainability, this calls for the new formulation of strategies by the manufacturers in order to minimize their products and services negative impact on the environment. Hence, Green Human Resource Management (GHRM) continues to be an important research agenda among the researchers. In Palestine, green issues are new and still developing. Constant study is needed (...) to fully understand and update information regarding this area. Objective: The aim of this paper is to explore the views and level of acceptance of GHRM practices among manufacturing firms in Palestine. Results: Through the use of e-mail survey, 121 responses were obtained to generate the results of the study. The result showed GHRM practices have been practiced to somewhat to a greater extent a firms in Palestine. Findings can be extended to study on the issues in further. Academicians and practitioners can apply this result to their research and business strategies on how to improve sustainable performance and to effectively implement GHRM practices. (shrink)

When looking at a scene, observers feel that they see its entire structure in great detail and can immediately notice any changes in it. However, when brief blank fields are placed between alternating displays of an original and a modified scene, a striking failure of perception is induced: identification of changes becomes extremely difficult, even when changes are large and made repeatedly. Identification is much faster when a verbal cue is provided, showing that poor visibility is not the cause of (...) this difficulty. Identification is also faster for objects mentioned in brief verbal descriptions of the scene. These results support the idea that observers never form a complete, detailed representation of their surroundings. In addition, results also indicate that attention is required to perceive change, and that in the absence of localized motion signals it is guided on the basis of high-level interest. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

This work presents the design of an expert system that aims to provide the patient with background for suitable diagnosis of some of the eye diseases. The eye has always been viewed as a tunnel to the inner workings of the body. There are many disease states that may produce symptoms from the eye. CLIPS language is used as a tool for designing our expert system. An initial evaluation of the expert system was carried out and a positive feedback was (...) received from the users. (shrink)

I argue that a standard formulation of hinge epistemology is host to epistemic relativism and show that two leading hinge approaches (Coliva’s acceptance account and Pritchard’s nondoxastic account) are vulnerable to a form of incommensurability that leads to relativism. Building on both accounts, I introduce a new, minimally epistemic conception of hinges that avoids epistemic relativism and rationally resolves hinge disagreements. According to my proposed account, putative cases of epistemic incommensurability are rationally resolvable: hinges are propositions that are the objects (...) of our belief-like attitudes and are rationally revisable in virtue of our overarching commitment to avoid systematic deception in our epistemic practices. (shrink)

Large changes in a scene often become difficult to notice if made during an eye movement, image flicker, movie cut, or other such disturbance. It is argued here that this _change blindness_ can serve as a useful tool to explore various aspects of vision. This argument centers around the proposal that focused attention is needed for the explicit perception of change. Given this, the study of change perception can provide a useful way to determine the nature of visual attention, and (...) to cast new light on the way that it is?and is not?involved in visual perception. To illustrate the power of this approach, this paper surveys its use in exploring three different aspects of vision. The first concerns the general nature of _seeing_. To explain why change blindness can be easily induced in experiments but apparently not in everyday life, it is proposed that perception involves a _virtual representation_, where object representations do not accumulate, but are formed as needed. An architecture containing both attentional and nonattentional streams is proposed as a way to implement this scheme. The second aspect concerns the ability of observers to detect change even when they have no visual experience of it. This _sensing_ is found to take on at least two forms: detection without visual experience (but still with conscious awareness), and detection without any awareness at all. It is proposed that these are both due to the operation of a nonattentional visual stream. The final aspect considered is the nature of visual attention itself?the mechanisms involved when _scrutinizing_ items. Experiments using controlled stimuli show the existence of various limits on visual search for change. It is shown that these limits provide a powerful means to map out the attentional mechanisms involved. (shrink)

We respond to Stephen T. Davis’ criticism of our earlier essay, “Assessing the Resurrection Hypothesis.” We argue that the Standard Model of physics is relevant and decisive in establishing the implausibility and low explanatory power of the Resurrection hypothesis. We also argue that the laws of physics have entailments regarding God and the supernatural and, against Alvin Plantinga, that these same laws lack the proviso “no agent supernaturally interferes.” Finally, we offer Bayesian arguments for the Legend hypothesis and against the (...) Resurrection hypothesis. (shrink)

We articulate a holistic understanding of hope, going beyond the common conceptualization of hope in terms of positive affect and cognition by considering what hope means for the underprivileged. In the recognition that hope is always situated in a particular place, we explore the perspective of the privileged and the underprivileged, clarifying how spatial contexts shape their goals for the future and their agency toward attaining these goals. Where some people experience precarity due to their disability, race, gender, sexuality, and (...) social class, others enjoy enhanced agency due to their privilege. In our analysis, this loss of agency does not mean the underprivileged are hopeless; instead, it suggests that hope can incorporate negative affect and cognition. In our view, a spatial understanding acknowledges the power of hope in discouraging situations, and it points to practical measures through which hope can be cultivated by marginalized communities. (shrink)

People construe reality by using words as basic units of meaningful categorization. The present theory-driven study applied the method of a free association task to explore how people express the concepts of the world and the self in words. The respondents were asked to recall any five words relating with the word world. Afterwards they were asked to recall any five words relating with the word self. The method of free association provided the respondents with absolute freedom to choose any (...) words they wanted. Such free recall task is suggested as being a relatively direct approach to the respondents’ self- and world-related conceptual categories, without enormous rational processing. The results provide us, first, with associative ranges for constructs of the world and the self, where some associative dimensions are defined by semantic polarities in the meanings of peripheral categories (e.g., Nature vs. Culture). Second, our analysis showed that some groups of verbal categories that were associated with the words world and self are central, while others are peripheral with respect to the central position. Third, the analysis of category networks revealed that some categories play the role of a transmitter, mediating the pathway between other categories in the network. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

The generality problem is widely considered to be a devastating objection to reliabilist theories of justification. My goal in this paper is to argue that a version of the generality problem applies to all plausible theories of justification. Assume that any plausible theory must allow for the possibility of reflective justification—S's belief, B, is justified on the basis of S's knowledge that she arrived at B as a result of a highly (but not perfectly) reliable way of reasoning, R. The (...) generality problem applies to all cases of reflective justification: Given that is the product of a process-token that is an instance of indefinitely many belief-forming process-types (or BFPTs), why is the reliability of R, rather than the reliability of one of the indefinitely many other BFPTs, relevant to B's justificatory status? This form of the generality problem is restricted because it applies only to cases of reflective justification. But unless it is solved, the generality problem haunts all plausible theories of justification, not just reliabilist ones. (shrink)

The emphasis on evidence based medicine (EBM) has placed increased focus on finding timely answers to clinical questions in presence of patients. Using a combination of natural language processing for the generation of clinical excerpts and information theoretic distance based clustering, we evaluated multiple approaches for the efficient presentation of context-sensitive EBM excerpts.

ABSTRACTThis essay offers a reconfiguration of the possibility‐space of positions regarding the metaphysics and epistemology associated with historical knowledge. A tradition within analytic philosophy from Danto to Dummett attempts to answer questions about the reality of the past on the basis of two shared assumptions. The first takes individual statements as the relevant unit of semantic and philosophical analysis. The second presumes that variants of realism and antirealism about the past exhaust the metaphysical options . This essay argues that both (...) of these assumptions should be rejected. It develops as an alternative an irrealist account of history, a view based in part on work by Leon Goldstein and Ian Hacking. On an irrealist view, historical claims ought to be treated as subject to the same conditions and caveats that apply to any theory of empirical or scientific knowledge. Irrealism argues for pasts as made and not found. The argument emphasizes the priority of classification over perception in the order of understanding and so verification. Because nothing a priori anchors practices of classification, no sense can be attached to claims that some single structure must or does determine what events take place in human history. Irrealism denies to realism the very intelligibility of any imagined view from nowhere, that is, a determinately configured past subsisting sub specie aeternitatis. A plurality of pasts exists because constituting a past always depends to some degree on socially mediated negotiations of a fit between descriptions and experience. (shrink)

This article explores a concept of artistic transgression I call aesthetic disobedience that runs parallel to the political concept of civil disobedience. Acts of civil disobedience break some law in order to publicly draw attention to and recommend the reform of a conflict between the commitments of a legal system and some shared commitments of a community. Likewise, acts of aesthetic disobedience break some entrenched artworld norm in order to publicly draw attention to and recommend the reform of a conflict (...) between artworld commitments and some shared commitments of a community. Considering artistic transgressions under the concept of aesthetic disobedience highlights often-overlooked features of modern artworld practices. Most significantly, it draws attention to the deliberative participation of a wide variety of citizens of the artworld, including not just artists and performers but also members of audiences, in the transformation of the rules and boundaries of the artworld itself. (shrink)

Are thought experiments nothing but arguments? I argue that it is not possible to make sense of the historical trajectory of certain thought experiments if one takes them to be arguments. Einstein and Bohr disagreed about the outcome of the clock-in-the-box thought experiment, and so they reconstructed it using different arguments. This is to be expected whenever scientists disagree about a thought experiment's outcome. Since any such episode consists of two arguments but just one thought experiment, the thought experiment cannot (...) be the arguments. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

Infants and children are suffering from a lots of nausea and vomiting problems. Doctors, usually face various difficulties dealing with these problems because of their similarities. In this paper, we present an expert system to help users in getting the correct diagnosis of problems of nausea and vomiting in infants and children (Gastro-esophageal reflux, Gastroenteritis, Systemic Infection, Bowel obstruction, Tumors, A bleeding disease, tonsillitis, and Hepatitis pharynx). Furthermore, this expert system provide information about the disease and how to deal with (...) it. SL5 Object expert system language was used to design and implement this expert system. (shrink)

The main objective of this project is to provide acoustic assistance to the blind people and also deal with the problems faced by them to walk like the normal human beings. Thus the project aims to develop a device that would serve as a guiding assistance to them. The paper focuses on designing a device for visual impaired (or blind) people that would help them to travel independently and also with more ease. One of the biggest problem that the visual (...) impaired ones face is while travelling because when they walk in the indoors and outdoors they are not well aware of information about their location and orientation with respect to traffic and obstacles on their way unlike the normal beings. The technology proposed in the paper serves as a solution for visual impaired people. The project consists of smart shoe and smart cane (stick) that alerts visually impaired people over obstacles coming between their ways and could help them in walking with less collision. The main objective of this paper is to address a reliable encompassing of a call and a shoe that could communicate with the user through voice alert and pre-coded messages. (shrink)

The sense of smell occupies a peculiar intermediate position within Aristotle's theory of sense perception: odours, like colours and sounds, are perceived at a distance through an external medium of air or water; yet in their nature they are intimately related to flavours, the proper objects of taste, which for Aristotle is a form of touch. In this paper, I examine Aristotle's claims about odour and smell, especially in De Anima II.9 and De Sensu 5, to see what light they (...) shed on his theory of sense perception more generally. In the first half, I argue that neither of the two most influential recent ways of understanding Aristotle's theory of perception can adequately account for what he says about the sense of smell. In the second half, I offer my own positive account, considering and resolving various puzzles raised by Aristotle's claims about the nature of odour and its relation to flavour. Finally, I conclude that Aristotle's discussions of odour and smell suggest a plausible and interesting way of understanding the relationship, on his view, between ordinary, material changes in the sense organs and the activation of the capacity to perceive, considered merely as such. (shrink)

Analytic philosophers have a tendency to forget that they are human beings, and one of the reasons that P. F. Strawson’s 1962 essay, “Freedom and Resentment”, has been so influential is that it promises to bring discussions of moral responsibility back down to earth. Strawson encouraged us to “keep before our minds...what it is actually like to be involved in ordinary interpersonal relationships”, which is, after all, the context in which questions about responsibility arise in the first place. In this (...) essay I explore what we can learn about ordinary interpersonal relationships from three works of literature – Shakespeare’s King Lear, Jane Austen’s Persuasion, and Graham Greene’s The End of the Affair. My intention is to try to heed Strawson’s advice without imposing upon the data any particular theoretical agenda, and my hope is that the data collected will prove useful for future theorizing about responsibility. (shrink)

In this paper I consider two related issues raised by Aristotle 's treatment of hearing and sounds. The first concerns the kinds of changes Aristotle takes to occur, in both perceptual medium and sense organs, when a perceiver hears a sounding object. The second issue concerns Aristotle 's views on the nature and location of the proper objects of auditory perception. I argue that Aristotle 's views on these topics are not what they have sometimes been taken to be, and (...) that when rightly understood they compare favourably in many respects with leading contemporary accounts. (shrink)

Our aim in this paper is to bring the woefully neglected literature on predictive modeling to bear on some central questions in the philosophy of science. The lesson of this literature is straightforward: For a very wide range of prediction problems, statistical prediction rules (SPRs), often rules that are very easy to implement, make predictions than are as reliable as, and typically more reliable than, human experts. We will argue that the success of SPRs forces us to reconsider our views (...) about what is involved in understanding, explanation, good reasoning, and about how we ought to do philosophy of science. (shrink)